منابع مشابه
Program Repair without Regret
We present a new and flexible approach to repair reactive programs with respect to a specification. The specification is given in linear-temporal logic. Like in previous approaches, we aim for a repaired program that satisfies the specification and is syntactically close to the faulty program. The novelty of our approach is that it produces a program that is also semantically close to the origi...
متن کاملRouting Without Regret
There has been substantial work developing simple, efficient regret-minimizing algorithms for a wide class of repeated decision-making problems including online routing. These are adaptive strategies an individual can use that give strong guarantees on performance even in adversarially-changing environments. There has also been substantial work on analyzing properties of Nash equilibria in rout...
متن کاملBi-Level Online Control without Regret
This paper considers a bi-level discrete-time control framework with real-time constraints, consisting of several local controllers and a central controller. The objective is to bridge the gap between the online convex optimization and real-time control literature by proposing an online control algorithm with small dynamic regret, which is a natural performance criterion in nonstationary enviro...
متن کاملAbstraction without regret in data management systems
ion without regret in data management systems Christoph Koch, EPFL DATA Lab [email protected] 1. MOTIVATING ABSTRACTION The long-term impact of any research community depends on the timelessness and power of the ideas, concepts, and techniques developed by it. Research that fails to be sufficiently original and that does not create deep insight is likely not to have – and arguably does not...
متن کاملProgram Repair Revisited
We present a new and flexible approach to repair reactive programs with respect to a specification. The specification is given in linear-temporal logic. Like in previous approaches, we require that a repaired program satisfies the specification and is syntactically close to the faulty program. In addition our approach also allows the user to ask for a program that is semantically close by enfor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Methods in System Design
سال: 2015
ISSN: 0925-9856,1572-8102
DOI: 10.1007/s10703-015-0223-6